Hans Hüttel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Pippenger Nicholas, Theories of computability. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, ix + 251 pp.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 332 KB

english, 1999

2

Transitions and Trees (An Introduction to Structural Operational Semantics) || An introduction to denotational semantics

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

3

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Journal:

ACM Computing Surveys

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

4

Transitions and Trees (An Introduction to Structural Operational Semantics) || A question of semantics

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

5

Transitions and Trees (An Introduction to Structural Operational Semantics) || Mathematical preliminaries

Year:

2010

Language:

english

File:

PDF, 127 KB

english, 2010

6

Alkylhydroperoxyde aus Alkylhalogeniden, II

Rudolf Hüttel, Hans Schmid, Heinz Ross

Journal:

European Journal of Inorganic Chemistry

Year:

1959

Language:

german

File:

PDF, 368 KB

german, 1959

7

Olefin-Gold-Komplexe VII. Hexamethyl-Dewarbenzol und Gold(III)-chlorid; Carboniumionen als Zwischenstufen der Chlorierung von Olefinen mit Gold(III)-chlorid

Rudolf Hüttel, Paul Tauchner, Hans Forkl

Journal:

European Journal of Inorganic Chemistry

Year:

1972

Language:

german

File:

PDF, 330 KB

german, 1972

8

Olefin-Palladiumchlorid-Komplexe, VII. π-Allyl-Palladiumchlorid-Komplexe von Cycloolefinen und Cyclodienen

Rudolf Hüttel, Hans Dietl, Hans Christ

Journal:

European Journal of Inorganic Chemistry

Year:

1964

Language:

german

File:

PDF, 494 KB

german, 1964

9

Bemerkungen zur Chronologie der Suciu de Sus-Kultur

Hüttel, Hans-Georg

Journal:

Praehistorische Zeitschrift

Year:

1979

Language:

german

File:

PDF, 2.18 MB

german, 1979

10

Transitions and Trees (An Introduction to Structural Operational Semantics) || The basic principles

Year:

2010

Language:

english

File:

PDF, 186 KB

english, 2010

11

Olefin-Palladiumchlorid-Komplexe, IV. Zur Konstitution der π-Allyl-Palladiumchlorid-Komplexe

Rudolf Hüttel, Hans Christ

Journal:

European Journal of Inorganic Chemistry

Year:

1963

Language:

german

File:

PDF, 227 KB

german, 1963

12

Relating Semantic Models for the Object Calculus: Preliminary Report

Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

13

Transitions and Trees (An Introduction to Structural Operational Semantics) || Basic imperative statements

Year:

2010

Language:

english

File:

PDF, 205 KB

english, 2010

14

SnS can be modally characterized

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 1016 KB

english, 1990

15

Decidability Issues for Extended Ping-Pong Protocols

Hans Hüttel, Jiří Srba

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 449 KB

english, 2006

16

Transitions and Trees (An Introduction to Structural Operational Semantics) || Control structures

Year:

2010

Language:

english

File:

PDF, 172 KB

english, 2010

17

Acetylen-Gold-Komplexe

Rudolf Hüttel, Hans Forkl

Journal:

European Journal of Inorganic Chemistry

Year:

1972

File:

PDF, 554 KB

1972

18

Transitions and Trees (An Introduction to Structural Operational Semantics) || Blocks and procedures (1)

Year:

2010

Language:

english

File:

PDF, 175 KB

english, 2010

19

Olefin-Palladiumchlorid-Komplexe, IX: Die π-Allyl-Komplexe des Palladiumchlorids aus Cyclododecen und 1-Methyl-cyclododecen-(1)

Rudolf Hüttel, Hans Dietl

Journal:

European Journal of Inorganic Chemistry

Year:

1965

Language:

german

File:

PDF, 429 KB

german, 1965

20

Type Inference for Correspondence Types

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

21

Transitions and Trees (An Introduction to Structural Operational Semantics) || Parameters

Year:

2010

Language:

english

File:

PDF, 188 KB

english, 2010

22

Transitions and Trees (An Introduction to Structural Operational Semantics) || Concurrent communicating processes

Year:

2010

Language:

english

File:

PDF, 219 KB

english, 2010

23

Transitions and Trees (An Introduction to Structural Operational Semantics) || Structured declarations

Year:

2010

Language:

english

File:

PDF, 198 KB

english, 2010

24

Decidable Fragments of a Higher Order Calculus with Locations

Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

25

The Role of Small-Scale Sediment Topography for Oxygen Flux across the Diffusive Boundary Layer

Hans Røy, Markus Hüttel and Bo Barker Jørgensen

Journal:

Limnology and Oceanography

Year:

2002

Language:

english

File:

PDF, 974 KB

english, 2002

26

The π -Calculus: A Theory of Mobile Processesby Davide Sangiorgi; David Walker

Review by: Hans Hüttel

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 345 KB

english, 2002

27

Transitions and Trees (An Introduction to Structural Operational Semantics) || Blocks and procedures (2)

Year:

2010

Language:

english

File:

PDF, 128 KB

english, 2010

28

Using session types for reasoning about boundedness in the $$\pi $$ π -calculus

Journal:

Acta Informatica

Year:

2019

Language:

english

File:

PDF, 431 KB

english, 2019

29

Transitions and Trees (An Introduction to Structural Operational Semantics) || Concurrent object-oriented languages

Year:

2010

Language:

english

File:

PDF, 148 KB

english, 2010

30

Using session types for reasoning about boundedness in the $$\pi $$ π -calculus

Journal:

Acta Informatica

Year:

2019

File:

PDF, 431 KB

2019

31

Aliasing Models for Mobile Objects

Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 244 KB

english, 2002

32

Transitions and Trees (An Introduction to Structural Operational Semantics) || Functional programming languages

Year:

2010

Language:

english

File:

PDF, 152 KB

english, 2010

33

Die reversible Umlagerung 4.4′-alkylierter 4.4′-Bispyrazolone-(5)

Adolf Authaler, Hans A. Hoffmann, Rudolf Hüttel

Journal:

European Journal of Inorganic Chemistry

Year:

1965

Language:

german

File:

PDF, 534 KB

german, 1965

34

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 324 KB

english, 2009

35

Transitions and Trees (An Introduction to Structural Operational Semantics) || Typed programming languages

Year:

2010

Language:

english

File:

PDF, 257 KB

english, 2010

36

Über das Vorkommen von Pflanzensterinen in Kröten.

Hüttel, Rudolf, Behringer, Hans

Journal:

Hoppe-Seyler's Zeitschrift für physiologische Chemie

Year:

1936

Language:

german

File:

PDF, 706 KB

german, 1936

37

Types for Access Control in a Calculus of Mobile Resources

Hans Hüttel, Morten Kühnrich

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 281 KB

english, 2007

38

Transitions and Trees (An Introduction to Structural Operational Semantics) || Recursive definitions

Year:

2010

Language:

english

File:

PDF, 244 KB

english, 2010

39

Olefin-Palladiumehlorid-Komplexe, VI. Die Allyloxydation der Olefine

Rudolf Hüttel, Hans Christ

Journal:

European Journal of Inorganic Chemistry

Year:

1964

Language:

german

File:

PDF, 779 KB

german, 1964

40

Transitions and Trees (An Introduction to Structural Operational Semantics) || A big-step semantics of Bip

Year:

2010

Language:

english

File:

PDF, 134 KB

english, 2010

41

Modal Logics for Cryptographic Processes

Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002

42

Transitions and Trees (An Introduction to Structural Operational Semantics) || Implementing semantic definitions in SML

Year:

2010

Language:

english

File:

PDF, 121 KB

english, 2010

43

Deciding Framed Bisimilarity

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 209 KB

english, 2003

44

Transitions and Trees (An Introduction to Structural Operational Semantics) || References

Year:

2010

Language:

english

File:

PDF, 92 KB

english, 2010

45

Röntgenstrukturanalyse von chloro-(1—3-η-1,2-dimethylallyl)-N-(3-picolin)-palladium

Hans Anton Graf, Rudolf Hüttel, Günter Nagorsen, Bernhard Rau

Journal:

Journal of Organometallic Chemistry

Year:

1977

Language:

german

File:

PDF, 409 KB

german, 1977

46

The role of small-scale sediment topography for oxygen flux across the diffusive boundary layer

Røy, Hans, Hüttel, Markus, Jørgensen, Bo Barker

Journal:

Limnology and Oceanography

Year:

2002

Language:

english

File:

PDF, 1.40 MB

english, 2002

47

A Logical Characterisation of Static Equivalence

Hans Hüttel, Michael D. Pedersen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

48

Sangiorgi Davide and Walker David. The π-calculus: a theory of mobile processes . Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 79 KB

english, 2002

49

Undecidable equivalences for basic parallel processes

Hans Hüttel, Naoki Kobayashi, Takashi Suto

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 401 KB

english, 2009

50

Olefin-Gold-Komplexe, II. Gold(I)-chlorid-Komplexe cyclischer Mono-, Di- und Triolefine

Rudolf Hüttel, Horst Reinheimer, Hans Dietl

Journal:

European Journal of Inorganic Chemistry

Year:

1966

Language:

german

File:

PDF, 370 KB

german, 1966

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски